Search results for " monadi"
showing 2 items of 2 documents
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Tra monadi e tessuti preesistenti
2017
Il rapporto che un progettista ha con la propria città natale è una delle prime fonti da indagare per comprendere se e in che modo alcune peculiarità dello spazio urbano, vissuto quotidianamente, trovano eco o si rispecchiano integralmente nel lavoro dello stesso architetto. Seguendo tale direzione di approfondimento, si vogliono inquadrare i progetti di Angelo Torricelli per Milano, proponendo un iniziale confronto fra due di erenti affermazioni. La prima di Chiara Baglione, la seconda dello stesso Torricelli. Dalle due frasi sembra scaturire, di fatto, una coincidenza fra il modo di essere di una città, Milano per l’appunto, e le qualità intrinseche delle architetture di Torricelli, in gr…